1.
msc diagrams: three_way_connect(18) and CW_answer(9)
INCONSISTENCY:
Matching formula: k18 = k9
Precondition 1: rel (m18 , k18 , connected) & rel (k18 , n18 , three_wayhold);
Precondition 2: state (n9 ,  ringing k9) & rel (k9 , m9 , connected);
Post condition 1: rel (m18 , n18 , three_wayconnected k18);
Post condition 2: rel (k9 , m9 , cw hold connect n9);

POSSIBLE FEATURE INTERACTION

2.
msc diagrams: three_way_connect(18) and CW_switch1(8)
INCONSISTENCY:
Matching formula: k18 = k8
Precondition 1: rel (m18 , k18 , connected) & rel (k18 , n18 , three_wayhold);
Precondition 2: rel (k8 , m8 , cw hold connect n8);
Post condition 1: rel (m18 , n18 , three_wayconnected k18);
Post condition 2: rel (k8 , n8 , cw hold connect m8);

3.
msc diagrams: three_way_connect(18) and CW_switch2(7)
INCONSISTENCY:
Matching formula: k18 = k7
Precondition 1: rel (m18 , k18 , connected) & rel (k18 , n18 , three_wayhold);
Precondition 2: rel (k7 , m7 , cw hold);
Post condition 1: rel (m18 , n18 , three_wayconnected k18);
Post condition 2: rel (k7 , m7 , connected);

4.
msc diagrams: three_way_connect(18) and CW_teardown2(4)
INCONSISTENCY:
Matching formula: k18 = k4
Precondition 1: rel (m18 , k18 , connected) & rel (k18 , n18 , three_wayhold);
Precondition 2: rel (k4 , m4 , cw hold connect n4);
Post condition 1: rel (m18 , n18 , three_wayconnected k18);
Post condition 2: rel (k4 , n4 , cw hold);

5.
msc diagrams: three_way_initial(15) and CW_answer(9)
INCONSISTENCY:
Matching formula: m15 = k9
Precondition 1: rel (m15 , n15 , connected) & Forall k (~(rel (m15 , k , three_wayhold)));
Precondition 2: state (n9 , ringing k9) & rel (k9 , m9 , connected);
Post condition 1: state (m15 , dial) & rel (m15, n15 , three_wayhold );
Post condition 2: rel (k9 , m9 , cw hold connect n9);

FEATURE INTERACTION (if m9 = n15)
Add ~(ringing) to 3WAY initial

6.
msc diagrams: three_way_initial(15) and CW_switch1(8)
INCONSISTENCY:
Matching formula: m15 = k8
Precondition 1: rel (m15 , n15 , connected) & Forall k (~(rel (m15 , k , three_wayhold)));
Precondition 2: rel (k8 , m8 , cw hold connect n8);
Post condition 1: state (m15 , dial) & rel (m15, n15 , three_wayhold);
Post condition 2: rel (k8 , n8 , cw hold connect m8);

7.
msc diagrams: three_way_initial(15) and CW_switch2(7)
INCONSISTENCY:
Matching formula: m15 = k7
Precondition 1: rel (m15 , n15 , connected) & Forall k (~(rel (m15 , k , three_wayhold)));
Precondition 2: rel (k7 , m7 , cw hold);
Post condition 1: state (m15 , dial) & rel(m15, n15 , three_wayhold);
Post condition 2: rel (k7 , m7 , connected);

8.
msc diagrams: three_way_initial(15) and CW_teardown2(4)
INCONSISTENCY:
Matching formula: m15 = k4
Precondition 1: rel (m15 , n15 , connected) & Forall k (~(rel (m15 , k , three_wayhold)));
Precondition 2: rel (k4 , m4 , cw hold connect n4);
Post condition 1: state (m15 , dial) & rel (m15, n15 , three_wayhold);
Post condition 2: rel (k4 , n4 , cw hold);

9.
msc diagrams: three_way_teardown1(14) and three_way_teardown2(11)
INCONSISTENCY:
Matching formula: m14 = k11
Precondition 1: rel (m14 , n14 , three_wayconnected k14);
Precondition 2: rel (m11 , n11 , three_wayconnected k11);
Post condition 1: rel (n14 , k14 , connected);
Post condition 2: state (m11 , dial) & state (n11 , dial);

FEATURE INTERACTION (it was already found before)

10.
msc diagrams: three_way_teardown1(14) and CW_teardown1(6)
INCONSISTENCY:
Matching formula: m14 = m6
Precondition 1: rel (m14 , n14 , three_wayconnected k14);
Precondition 2: rel (k6 , n6 , cw hold connect m6);
Post condition 1: rel (n14 , k14 , connected);
Post condition 2: rel (k6 , n6 , connected);

FEATURE INTERACTION

11.
msc diagrams: three_way_teardown1(14) and CW_teardown2(4)
INCONSISTENCY:
Matching formula: m14 = m4
Precondition 1: rel (m14 , n14 , three_wayconnected k14);
Precondition 2: rel (k4 , m4 , cw hold connect n4);
Post condition 1: rel (n14 , k14 , connected);
Post condition 2: rel (k4 , n4 , cw hold);

FEATURE INTERACTION

12.
msc diagrams: three_way_teardown1(14) and CW_teardown3(1)
INCONSISTENCY:
Matching formula: m14 = k1
Precondition 1: rel (m14 , n14 , three_wayconnected k14);
Precondition 2: rel (k1 , n1 , cw hold connect m1);
Post condition 1: rel (n14 , k14 , connected);
Post condition 2: state (m1 , diale) & state (n1 , diale);

FEATURE INTERACTION

13.
msc diagrams: three_way_teardown2(11) and CW_teardown1(6)
INCONSISTENCY:
Matching formula: k11 = m6
Precondition 1: rel (m11 , n11 , three_wayconnected k11);
Precondition 2: rel (k6 , n6 , cw hold connect m6);
Post condition 1: state (m11 , dial) & state (n11 , dial);
Post condition 2: rel (k6 , n6 , connected);

FEATURE INTERACTION

14.
msc diagrams: three_way_teardown2(11) and CW_teardown2(4)
INCONSISTENCY:
Matching formula: k11 = m4
Precondition 1: rel (m11 , n11 , three_wayconnected k11);
Precondition 2: rel (k4 , m4 , cw hold connect n4);
Post condition 1: state (m11 , dial) & state (n11 , dial);
Post condition 2: rel (k4 , n4 , cw hold);

FEATURE INTERACTION

15.
msc diagrams: three_way_teardown2(11) and CW_teardown3(1)
INCONSISTENCY:
Matching formula: k11 = k1
Precondition 1: rel (m11 , n11 , three_wayconnected k11);
Precondition 2: rel (k1 , n1 , cw hold connect m1);
Post condition 1: state (m11 , dial) & state (n11 , dial);
Post condition 2: state (m1 , diale) & state (n1 , diale);

FEATURE INTERACTION



16.
msc diagrams: three_way_teardown3(10) and CW_switch1(8)
INCONSISTENCY:
Matching formula: m10 = k8
Precondition 1: state (m10 , dial) & rel (m10 , n10 , three_wayhold);
Precondition 2: rel (k8 , m8 , cw hold connect n8);
Post condition 1: rel (m10 , n10 , connected);
Post condition 2: rel (k8 , n8 , cw hold connect m8);

17.
msc diagrams: three_way_teardown3(10) and CW_switch2(7)
INCONSISTENCY:
Matching formula: m10 = k7
Precondition 1: state (m10 , dial) & rel (m10 , n10 , three_wayhold);
Precondition 2: rel (k7 , m7 , cw hold);
Post condition 1: rel (m10 , n10 , connected);
Post condition 2: rel (k7 , m7 , connected);

18.
msc diagrams: three_way_teardown3(10) and CW_teardown2(4)
INCONSISTENCY:
Matching formula: m10 = k4
Precondition 1: state (m10 , dial) & rel (m10 , n10 , three_wayhold);
Precondition 2: rel (k4 , m4 , cw hold connect n4);
Post condition 1: rel (m10 , n10 , connected);
Post condition 2: rel (k4 , n4 , cw hold);